The Philosophy of Computer Science
نویسندگان
چکیده
منابع مشابه
Componential Explanation in Philosophy, Cognitive Science and Computer Science
This paper shows how Componential Explanation as discussed within Cognitive Science and Philosophy of Science relates to Compositional Verification in Computer Science. It is shown how formal techniques and methods developed for Compositional Verification provide a formal basis and automated support for Componential Explanation. The role of formalised interlevel relations is shown to be crucial...
متن کاملKnow Your Discipline: Teaching the Philosophy of Computer Science
The diversity and interdisciplinarity of computer science and the multiplicity of its uses in other sciences make it hard to define computer science and to prescribe how computer science should be carried out. The diversity of computer science also causes friction between computer scientists from different branches. Computer science curricula, as they stand, have been criticized for being unabl...
متن کاملترجمه و نقد کتاب the justification of science and the rationality of religious belife
چکیده ندارد.
15 صفحه اولDoctor of Philosophy in Computer Science and Information Systems
Compensation is widely used in advanced transaction models as a means of backward recovery from a failure. However, traditional compensation notions are not sufficient for handling failures in business processes if state changes involve consumable resources that cannot be undone. This paper presents a backward recovery mechanism to support the business process management domain. The proposed me...
متن کاملthe impact of computer-assisted language learning on achievement motivation of high school students
چکیده انگیزه دلیل اصلی رفتارهای ما است. به نظر می رسد انگیزه جزء جدایی ناپذیر فرایند یادگیری باشد. ارزش ذاتی موفقیت تمایل به پیشرفت را در یادگیرنده ایجاد میکند. به عبارت ساده این تمایل انگیزه پیشرفت نامیده میشود. انگیزه پیشرفت را میتوان در احساس یادگیرنده هنگام چالش با درس های مدرسه، لذت انجام فعالیت درسی، یا حس کشف پاسخ مشاهده کرد.حتی ممکن است انگیزه پیشرفت را در تلاش یادگیرنده برای جلب تایید...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2008
ISSN: 1570-8683
DOI: 10.1016/j.jal.2008.09.006